Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

A Theory of Program Refinement Ewen W.K.C. Denney Doctor of Philosophy University of Edinburgh

Source URL: www.irisa.fr

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Refinement
• Predicate transformer semantics
• Postcondition
• Program transformation
• Finite-state machine
• Invariant
• Formal verification
• Aspect-oriented software development
• Precondition

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation

2014 IEEE Security and Privacy Workshops Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis Christian W. Probst Technical University of Denmark

Source URL: ieee-security.org

• Cryptographic protocols
• Needham–Schroeder protocol
• Dropbox
• Program refinement
• Vulnerability
• VisIt
• Lottery
• Computer security
• Software
• Computing
• Computer network security

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement

Source URL: www.cse.unsw.edu.au

• Formal methods
• Logic in computer science
• Model checking
• Satisfiability Modulo Theories
• Static program analysis
• Abstract interpretation
• Abstraction
• C
• Software bug
• Theoretical computer science
• Software engineering
• Computing

User guide to crystal structure refinement with SHELXL SHELXL is a program for the refinement of crystal structures from diffraction data, and is primarily intended for single crystal X-ray data of organic, inorganic and

Source URL: shelx.uni-ac.gwdg.de

• Quantum chemistry
• Intermolecular forces
• Crystallography
• Symmetry operation
• Hydrogen bond
• Chemical bond
• Chemical formula
• Hydrogen
• Chemical polarity
• Chemistry
• Chemical bonding
• Physical chemistry

A separation logic for refining concurrent objects Aaron Turon and Mitchell Wand Northeastern University Abstract. Fine-grained concurrent data structures are crucial for gaining performance from multiprocessing, but the

Source URL: www.ccs.neu.edu

• Program refinement
• Denotational semantics
• Logic
• Symbol
• Entailment

Manual Rietveld Analysis Program BGMN

Source URL: www.bgmn.de

• Diffraction
• Crystallography
• Rietveld refinement
• Powder diffraction
• Condensed matter physics
• Materials science
• Rietveld
• Scribe
• Scientific method
• Physics
• Science

5-10 May, [removed]La Plata, Argentine School on Single-Crystal X-ray Diffraction for Structure Solution and Refinement International Program Committee

Source URL: www.cristalografia.com.ar